TSTP Solution File: DAT167^1 by Nitpick---2016